1. Mathematical modelling, applied analysis and computation :
پدیدآورنده : Jagdev Singh, Devendra Kumar, Hemen Dutta, Dumitru Baleanu, Sunil Dutt Purohit, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical models, Congresses.,Mathematical models.
رده :
QA401
.
I36
2019eb
2. Nonlinear Systems and Applications ; an international conference
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Differential equations , Nonlinear - Congresses,، Nonlinear theories - Congresses,، Stability - congresses
رده :
QA
372
.
N66
3. Nonlinear systems and applications : an international conference
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Differential equations, Nonlinear-- Congresses,، Nonlinear theories-- Congresses,، Stability-- Congresses
رده :
QA
372
.
N66
4. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
